Adding linear-time lookbehinds to RE2
systemf.epfl.chยท3dยท
Discuss: Lobsters, Hacker News, r/programming
โœ…Format Verification
Machine Learning Fundamentals: accuracy with python
dev.toยท23hยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
Automattic/harper: Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
github.comยท1d
๐Ÿ“Concrete Syntax
The one-more-re-nightmare compiler (2021)
applied-langua.geยท22hยท
Discuss: Lobsters, r/programming
๐Ÿ”คMorris-Pratt
Filter smarter: A better way to investigate fraud with Search
fingerprint.comยท16h
๐Ÿ”BitFunnel
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท14h
๐ŸงฎProlog Parsing
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.comยท2h
๐Ÿฆ Malware Analysis
Probabilistic and reinforced mining of association rules
arxiv.orgยท1d
๐Ÿง Learned Indexes
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
The Bitter Lesson is coming for Tokenization
lucalp.devยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Monadic Parsing
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท46m
๐Ÿ“ŠGraph Databases
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท8h
๐Ÿ“Concrete Syntax
Schema In, Data Out: A Smarter Way to Mock
hackernoon.comยท1d
๐Ÿ›Fuzzing
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.orgยท1d
๐ŸงชCBOR Fuzzing
HariSekhon/DevOps-Bash-tools
github.comยท13h
๐ŸšShell Automation
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.comยท35mยท
Discuss: Hacker News
๐Ÿ“‹DFDL
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.comยท13hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Semantic-Aware Parsing for Security Logs
arxiv.orgยท1d
๐Ÿ“Log Parsing
Using an LLM for query planning in RAG โ€“> 40% better answer relevance
techcommunity.microsoft.comยท18hยท
Discuss: Hacker News
๐Ÿ”Information Retrieval
Text2Struct: A Machine Learning Pipeline for Mining Structured Data from Text
arxiv.orgยท1d
๐Ÿ”คCharacter Classification